<!DOCTYPE html
    PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
      xmlns:py="http://genshi.edgewall.org/"
      xmlns:xi="http://www.w3.org/2001/XInclude">
  <xi:include href="prefs.html" />
  <head>
    <title>Build settings</title>
  </head>
  <body>
    <label>
      <input type="checkbox" name="wrkdir" checked="${options.wrkdir or None}" />
      Save compressed working directory
      <p class="hint">
        In case of an build failure the ports working directory is compressed
        and linked at a failed build.
      </p>
    </label>

    <h2>EMail notifications</h2>
    <label>
      <input type="checkbox" name="notifications_success" checked="${options.notifications_success or None}" />
      Notifications for successfull jobs
      <p class="hint">
        Sends an EMail for a job with a summary once all builds for the job have finished.
      </p>
    </label>
    <label>
      <input type="checkbox" name="notifications_failed" checked="${options.notifications_failed or None}" />
      Notifications for failed jobs
      <p class="hint">
        Sends an EMail for a job with a summary once all builds for the job have finished.
      </p>
    </label>
    <label>
      <input type="checkbox" name="notifications_leftovers" checked="${options.notifications_leftovers or None}" />
      Notifications for jobs with leftover files
      <p class="hint">
        Sends an EMail for a job with a summary once all builds for the job have finished.
      </p>
    </label>
  </body>
</html>
